English translation for "proving correctness"
|
- 验证正确性
Related Translations:
- Example Sentences:
| 1. | The experimental results proved correctness of theory and feasibility of method
试验结果表明，检测原理正确、方法可行。 | | 2. | This can help in proving correctness , simplifying an algorithm , or even finding ways of optimizing it
这有助于验证正确性、简化算法，甚至有助于找出优化它的方法。 | | 3. | In order to prove correctness and effectiveness of grey non - intrinsic model for indoor air quality analysis , two experimental and numerical simulation examples are presented
通过两个简单的实验，用实验结果验证了室内空气品质灰色方程的正确性和实用性。 | | 4. | Abstract : according to the needs of development and operational for missile weapon many years , based on comprehensive study many effectiveness evaluation theories and methods , the operational effectiveness evaluation models are present of main operational system 、 support system 、 command system and operational system for missile weapon . these models are proved correctness and feasibility by example , and are able to offeriong decision evidence for target demonstration 、 plan demonst ration 、 engineering development 、 finalize the design and operational use of missile weapon
文摘:根据多年来导弹武器发展建设和作战运用的实际需求，在综合研究国内外多种效能评估理论和方法的基础上，建立了对抗条件下主战、保障、指挥等分系统作战效能及作战系统作战效能评估模型，并通过示例验证了其正确性和可行性，可为导弹武器作战系统的指标论证、方案论证、工程研制、鉴定定型和作战运用等提供定量决策依据。 | | 5. | The experimental results indicate that the tangent stress keeps quite linear relation with the variation of the time in fixed transmission distance of lcr wave in elastic range . also , the experiment results prove correctness and feasibility of the methods for measuring and processing lcr wave in stress measurement . the research provides beneficial reference for the application of tangent stress measurement in elastic media from theory to practice with tdc
实验数据表明:在试件的弹性范围内,试件内部的切向应力与lcr波在固定传播距离下的声时变化有着良好的线性关系;证明了基于tdc - gp1的测试信号处理方法在用lcr波进行切向应力测量的可行性和正确性,为弹性介质中的切向应力测量从理论研究走向实践应用提供了较高的参考价值。 | | 6. | Finally , the constraint dimensions of combined entity can be get with that formula . to prove correctness of this approach , the development system is based on autocad system , we introduced object - oriented technology including objectarx and visual c + + in the prototype system , the system achived the aim of solution the constraint dimensions of combined entity
井以obectarx和msualch为开发工具，利用面向对象的技术、基于auocad为实现平台，完成组合体的尺寸约束解的推理求解的实现，以对本文提出的尺寸约束解的推理求解的方法予以验证，论证了本方法的正确性。 |
- Similar Words：
- "provine" English translation, "proving" English translation, "proving (or calibrating) lever" English translation, "proving cash" English translation, "proving circuit" English translation, "proving counter" English translation, "proving establishment" English translation, "proving facility" English translation, "proving fermat’s last theorem" English translation, "proving flight" English translation
|
|
|
